Kelly-Morse set theory